Relational model - PDFSEARCH.IO - Document Search Engine

Relational model
Results: 1005

#	Item
371	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
372	Aggregation in Probabilistic Databases via Knowledge Compilation Robert Fink and Larisa Han and Dan Olteanu Deptartment of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD Oxford, UK {robert.f Add to Reading List Source URL: vldb.org Language: English - Date: 2012-01-21 14:30:02 Algebraic structures Ring theory Semiring Relational model Relational algebra Symbol Polynomial ring Constructible universe Function Abstract algebra Mathematics Algebra
373	Schema Extraction for Tabular Data on the Web ∗ Marco D. Adelfio Hanan Samet Center for Automation Research, Institute for Advanced Computer Studies Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:42 Data Relational database management systems Database theory Database management systems Spreadsheet Data warehousing Relational model Table Relational database Data management Data modeling Computing
374	Fundamentals of Database Systems Laboratory Manual1 Rajshekhar Sunderraman Georgia State University Add to Reading List Source URL: tinman.cs.gsu.edu Language: English - Date: 2010-07-31 16:59:23 Computing Database theory Data modeling Entity-relationship model Database models Relational database Database schema Data model Database design Data management Database management systems Data
375	✬ ✩ QUERY AND DATA SECURITY IN THE DATA OUTSOURCING MODEL Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-05-03 17:26:41 Computing Data Query languages Database SQL Relational database Data management Database theory Database management systems
376	Efficient Implementation of Generalized Quantification in Relational Query Languages Bin Cao Antonio Badia Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-04-25 03:37:15 Mathematics Predicate logic Semantics Relational model Generalized quantifier FO First-order logic Combinatory logic Universal quantification Mathematical logic Logic Quantification
377	Data Model Legibility A comparison of 3 graphic styles J.C.Nordbotten Dept. of Information Science, University of Bergen, N-5020 Bergen, Norway e-mail [removed] Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:38:00 IDEF1X IDEF Object-Role Modeling Entity-relationship model Conceptual model EXPRESS Relational database Software development methodology Database design Data modeling Data management Data model
378	Microsoft Word - CCN03CEDBDMPR1103 _CourseOutline.doc Add to Reading List Source URL: ciwcertified.com Language: English - Date: 2011-05-12 13:25:04 Database theory Data Relational database management systems Cross-platform software Relational model Relational database Database SQL Entity-relationship model Data management Computing Database management systems
379	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
380	Interpretable and Informative Explanations of Outcomes Kareem El Gebaly University of Waterloo [removed] Parag Agrawal Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-08-12 09:24:38 Mathematical notation Tuple Type theory Relation Relational model Mathematics Data management

UPDATE